Boolean Reductions